real hyperbolic space

[数] 实双曲空间